Event Feed - ICPC Collaborative Learning Institute The event feed is a set of data output by the Contest Control System. Contents • 1 Getting the feed

Source URL: pc2.ecs.csus.edu

Control Flow Obfuscation with Information Flow Tracking∗ Haibo Chen, Liwei Yuan, Xi Wu, Binyu Zang Parallel Processing Institute Fudan University

Source URL: ipads.se.sjtu.edu.cn

• Computing
• Software engineering
• Computer programming
• Compiler construction
• Control flow
• Obfuscation
• Source code
• Programming language implementation
• Opaque predicate
• Control flow graph
• Data-flow analysis
• Exception handling

Yuri Breitbart Education • D.Sc. in Computer Science - Computer Science Department, Israel Technological Institute (TECHNION), Haifa, Israel. • MS in Mathematics - Mathematics Department, Moscow Pedagogical Institut

Source URL: www.cs.kent.edu

• Computing
• Data management
• Databases
• Transaction processing
• Data
• Information retrieval
• Concurrency control
• Conservatism in the United States
• Commitment ordering
• Breitbart News
• Abraham Silberschatz

A modeling pattern for layered system interfaces Peter Shames Marc Sarrel Jet Propulsion Laboratory California Institute of Technology

Source URL: www.omgsysml.org

• Computing
• Data transmission
• Network protocols
• Computer networking
• Network architecture
• ISO standards
• OSI model
• Transmission Control Protocol
• SIMPLE
• Datagram
• Communications protocol
• Protocol data unit

Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2

Source URL: software.imdea.org

• Data types
• Transaction processing
• Type theory
• Concurrency control
• Consistency model
• Eventual consistency
• Denotational semantics
• Extensible Storage Engine
• Primitive data type
• Parallel computing
• Type system
• Causal consistency

Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2

Source URL: software.imdea.org

• Data types
• Transaction processing
• Type theory
• Concurrency control
• Consistency model
• Eventual consistency
• Denotational semantics
• Extensible Storage Engine
• Primitive data type
• Parallel computing
• Type system
• Causal consistency

ITL Bulletin, Increasing Visibility and Control of Your ICT Supply Chains (June 2015)

Source URL: csrc.nist.gov

• Computer security
• Business
• Risk analysis
• Data security
• Computing
• Supply chain management
• Supply chain risk management
• National Institute of Standards and Technology
• Security controls
• Open Trusted Technology Provider Standard

Securing Self-Virtualizing Ethernet Devices Igor Smolyar Muli Ben-Yehuda Dan Tsafrir Technion – Israel Institute of Technology {igors,muli,dan}@cs.technion.ac.il

Source URL: www.mulix.org

• Computing
• Ethernet
• Network architecture
• Ethernet flow control
• Network interface controller
• IEEE 802.3
• MAC address
• Network switch
• Data link layer
• Data center bridging
• Maximum transmission unit
• Virtual LAN

Department of Electrical Engineering and Computer Science MASSACHUSETTS INSTITUTE OF TECHNOLOGYDistributed System Engineering: SpringExam II Solutions

Source URL: nil.csail.mit.edu

• Computing
• Concurrency control
• Transaction processing
• Bitcoin
• Cryptocurrencies
• Optimistic concurrency control
• Kademlia
• Data

Open Position Intel Collaborative Research Institute for Secure Computing (ICRI-SC) The traditional computing paradigm is experiencing a fundamental shift: organizations no longer completely control their own data, but

Source URL: www.icri-sc.org